Fault Localization With Weighted Test Model in Model Transformations

Effective Fault Localization Using Weighted Test Cases

Locating faults in a program is prohibitively timeconsuming and tedious, and therefore, many automated fault localization techniques have been proposed to assist in the debugging process. Spectrum based fault localization are promising techniques that can guide developers to the possible locations of faults. These techniques make a summary on the number of passing and failing tests cases to pri...

Weighted Model Integration with Orthogonal Transformations

Weighted model counting and integration (WMC/WMI) are natural problems to which we can reduce many probabilistic inference tasks, e.g., in Bayesian networks, Markov networks, and probabilistic programs. Typically, we are given a first-order formula, where each satisfying assignment is associated with a weight—e.g., a probability of occurrence—and our goal is to compute the total weight of the f...

Model-based fault localization in bottling plants

The bottling of beverages is carried out in complex plants that consist of several machines and material flows. To realize an efficient bottling process and high quality products, operators try to avoid plant downtimes. With actual non-productive times of between 10% and 60%, the operators require diagnosis tools that allow them to locate plant components that cause downtime by exploiting autom...

Test-Driven Development of Model Transformations

Key concepts [1] Short development iterations (often only a few minutes) Pre-written test cases Each iteration produces code necessary to pass the test cases TDD requires little overhead for the specification of test data, implementing test stubs, test initiation, executing test cases, the interpretation of test results, etc. Well-established development technique in code-centric development Be...

Specification-Driven Test Generation for Model Transformations